package inabit.inference;

import inabit.base.RuleBase;
import inabit.base.WorkingMemory;
/**Returns a WorkingMemory a RuleBase and two inference Engines
 * with consistent types of Variables.
 * @author Rafael Rocha*/
public interface InferenceFactory {
	public WorkingMemory createWorkingMemory();
	public RuleBase createRuleBase();
	public ForwardEngine createForwardInferenceEngine();
	public BackwardEngine createBackwardInferenceEngine();
}
